McBride, Conor: шукати на сайті Z-Library

Venanzio Capretta, Conor McBride

Рік:

2002

Мова:

english

Файл:

PDF, 377 KB

english, 2002

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 ||

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 20.70 MB

english, 2016

Preface

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2011

Мова:

english

Файл:

PDF, 98 KB

english, 2011

[ACM Press the 2007 ACM SIGPLAN international workshop - Nice, Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 - What's the deal with dependent types?

Рік:

2007

Мова:

english

Файл:

PDF, 61 KB

english, 2007

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Lambda Calculus: Practice and Principle

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 7.57 MB

english, 2016

First-order unification by structural recursion

MCBRIDE, CONOR

Журнал:

Lindley, Sam, McBride, Conor, McLaughlin, Craig

Рік:

2003

Мова:

english

Файл:

PDF, 140 KB

english, 2003

Do be do be do

Журнал:

CONVENT, LUKAS, LINDLEY, SAM, MCBRIDE, CONOR, MCLAUGHLIN, CRAIG

Рік:

2017

Мова:

english

Файл:

PDF, 466 KB

english, 2017

Doo bee doo bee doo

Журнал:

Nick Benton, Chung-Kil Hur, Andrew J. Kennedy, Conor McBride

Рік:

2020

Файл:

PDF, 1.64 MB

2020

Strongly Typed Term Representations in Coq

Журнал:

Journal of Automated Reasoning

Рік:

2012

Мова:

english

Файл:

PDF, 389 KB

english, 2012

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Agda-curious?

McBride, Conor Thomas

Рік:

2012

Мова:

english

Файл:

PDF, 391 KB

english, 2012

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The gentle art of levitation

Chapman, James, Dagand, Pierre-Évariste, McBride, Conor, Morris, Peter

Рік:

2010

Мова:

english

Файл:

PDF, 515 KB

english, 2010

Enhancing mathematical problem-solving through ZENO

Morrison, Hugh, Cowan, Pamela, Mcbride, Fred, Mcbride, Conor

Журнал:

International Journal of Mathematical Education

Рік:

1999

Мова:

english

Файл:

PDF, 323 KB

english, 1999

[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - Observational equality, now!

Altenkirch, Thorsten, McBride, Conor, Swierstra, Wouter

Рік:

2007

Мова:

english

Файл:

PDF, 293 KB

english, 2007

The view from the left

MCBRIDE, CONOR, MCKINNA, JAMES

Журнал:

Morrison, Hugh G., Gardner, John, McBride, Conor

Рік:

2004

Мова:

english

Файл:

PDF, 335 KB

english, 2004

Delivering the shape and space programme of study in the UK national mathematics curriculum using Zeno

Журнал:

International Journal of Mathematical Education

Рік:

1993

Мова:

english

Файл:

PDF, 411 KB

english, 1993

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Categorical Treatment of Ornaments

Dagand, Pierre-Evariste, McBride, Conor

Рік:

2013

Мова:

english

Файл:

PDF, 299 KB

english, 2013

Transporting functions across ornaments

DAGAND, PIERRE-ÉVARISTE, McBRIDE, CONOR

Журнал:

McBRIDE, CONOR, UUSTALU, TARMO

Рік:

2014

Мова:

english

Файл:

PDF, 1.26 MB

english, 2014

Preface

Журнал:

McBride, Conor, McKinna, James

Рік:

2009

Мова:

english

Файл:

PDF, 37 KB

english, 2009

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Functional pearl

Рік:

2004

Мова:

english

Файл:

PDF, 96 KB

english, 2004

[ACM Press the 6th ACM SIGPLAN workshop - Baltimore, Maryland, USA (2010.09.26-2010.09.26)] Proceedings of the 6th ACM SIGPLAN workshop on Generic programming - WGP '10 - Outrageous but meaningful coincidences

Рік:

2010

Мова:

english

Файл:

PDF, 424 KB

english, 2010

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Clowns to the left of me, jokers to the right (pearl)

Dagand, Pierre-Evariste, McBride, Conor

Рік:

2008

Мова:

english

Файл:

PDF, 200 KB

english, 2008

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Transporting functions across ornaments

Рік:

2012

Мова:

english

Файл:

PDF, 706 KB

english, 2012

[ACM Press the 2013 ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.24-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - DTP '13 - New equations for neutral terms

Allais, Guillaume, McBride, Conor, Boutillier, Pierre

Рік:

2013

Мова:

english

Файл:

PDF, 494 KB

english, 2013

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Hasochism

Lindley, Sam, McBride, Conor

Рік:

2013

Мова:

english

Файл:

PDF, 650 KB

english, 2013

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Productive coprogramming with guarded recursion

Atkey, Robert, McBride, Conor

Рік:

2013

Мова:

english

Файл:

PDF, 614 KB

english, 2013

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - How to keep your neighbours in order

McBride, Conor Thomas

Рік:

2014

Мова:

english

Файл:

PDF, 521 KB

english, 2014

[ACM Press the third ACM SIGPLAN workshop - Baltimore, Maryland, USA (2010.09.25-2010.09.25)] Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 - Type inference in context

Gundry, Adam, McBride, Conor, McKinna, James

Рік:

2010

Мова:

english

Файл:

PDF, 446 KB

english, 2010

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Multi-stage Evaluation in LMS

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 332 KB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Dragging Proofs Out of Pictures

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 1.42 MB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 767 KB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || The Essence of Dependent Object Types

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 651 KB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || 1ML with Special Effects

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 651 KB

english, 2016

Indexed containers

ALTENKIRCH, THORSTEN, GHANI, NEIL, HANCOCK, PETER, MCBRIDE, CONOR, MORRIS, PETER

Журнал:

MCBRIDE, CONOR, PATERSON, ROSS

Рік:

2015

Мова:

english

Файл:

PDF, 267 KB

english, 2015

Applicative programming with effects

Журнал:

ALTENKIRCH, THORSTEN, MCBRIDE, CONOR

Рік:

2008

Мова:

english

Файл:

PDF, 113 KB

english, 2008

Selected papers from Dependently Typed Programming 2010 – Overview

Журнал:

Mathematical Structures in Computer Science

Рік:

2016

Мова:

english

Файл:

PDF, 37 KB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Counting Successes: Effects and Transformations for Non-deterministic Programs

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 517 KB

english, 2016

[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant Parametricity

Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don

Рік:

2016

Мова:

english

Файл:

PDF, 485 KB

english, 2016

Productive coprogramming with guarded recursion

Atkey, Robert, McBride, Conor

Журнал:

Рік:

2013

Мова:

english

Файл:

PDF, 614 KB

english, 2013

Clowns to the left of me, jokers to the right (pearl)

Журнал:

Dagand, Pierre-Evariste, McBride, Conor

Рік:

2008

Мова:

english

Файл:

PDF, 200 KB

english, 2008

Transporting functions across ornaments

Журнал:

Рік:

2012

Мова:

english

Файл:

PDF, 706 KB

english, 2012

Agda-curious?

McBride, Conor Thomas

Журнал: